<%@ page language="java" contentType="text/html; charset=ISO-8859-1"
    pageEncoding="ISO-8859-1"%>
<div class="equalityAxiomProperties" style="display: none;">
	<div class="ui-widget-header ui-state-default ui-corner-top">Equality axiom properties</div>
	<div class="ui-widget-content ui-corner-bottom">
		Equality property content
	</div>
</div>		